bitkeeper revision 1.1159.231.10 (41f97d1c7VgcW6eh60Nx2MTEdlYhkQ)
authoriap10@labyrinth.cl.cam.ac.uk <iap10@labyrinth.cl.cam.ac.uk>
Thu, 27 Jan 2005 23:45:32 +0000 (23:45 +0000)
committeriap10@labyrinth.cl.cam.ac.uk <iap10@labyrinth.cl.cam.ac.uk>
Thu, 27 Jan 2005 23:45:32 +0000 (23:45 +0000)
commit9060926d9b11d01212cf2cd93e06332598bd9c15
tree63e48baee8e229f279fe2d0120ae03c03a2f22c5
parent6a95e9ca1c121b827d4d15ec28246505baee7815
bitkeeper revision 1.1159.231.10 (41f97d1c7VgcW6eh60Nx2MTEdlYhkQ)

Free pages for VMX domain at domain termination.

Signed-off-by: Jun Nakajima <jun.nakajima@intel.com>
Signed-off-by: ian.pratt@cl.cam.ac.uk
xen/arch/x86/domain.c